PreviousNextTracker indexSee it online !

(175/207) 3456451 - A service for plugins to add toolbars to jEdit.

Related to ticket: 3097570
I would like jEdit to manage toolbars. And allow them to share vertical space.
We need to define a service for toolbars like we have for dockables, and we need to incorporate toolbars into the perspective? docking layout? what?

Submitted ezust - 2011-12-10 - 17:48:32z Assigned nobody
Priority 5 Category None
Status Open Group None
Resolution None Visibility No

Comments

Attachments